class Predicate extends Conjunct {
    Term term;
    int cutIndex;
    
    public Predicate(Term term, int choice, int cutIndex) {
        kind = Conjunct.Kind.PREDICATE;
        
        this.term = term;
        this.choice = choice;
        this.cutIndex = cutIndex;
    }
    
    public Predicate withIncrementedChoice() {
        return new Predicate
            (term,
             choice+1,
             cutIndex);
    }
}
